Supercompact extender based Prikry forcing
نویسنده
چکیده
The extender based Prikry forcing notion is being generalized to supercompact extenders.
منابع مشابه
Hybrid Prikry Forcing
We present a new forcing notion combining diagonal supercompact Prikry focing with interleaved extender based forcing. We start with a supercompact cardinal κ. In the final model the cofinality of κ is ω, the singular cardinal hypothesis fails at κ and GCH holds below κ. Moreover we define a scale at κ, which has a stationary set of bad points in the ground model.
متن کاملExtender Based Radin Forcing
We define extender sequences, generalizing measure sequences of Radin forcing. Using the extender sequences, we show how to combine the Gitik-Magidor forcing for adding many Prikry sequenes with Radin forcing. We show that this forcing satisfies a Prikry like condition destroys no cardinals, and has a kind of properness. Depending on the large cardinals we start with this forcing can blow the p...
متن کاملPrikry Forcing with Long Extenders
In this note, we go through Gitik’s Long Extender forcing. In order to motivate it, work through the basic Pirkry forcing as well as the diagonal Prikry forcing. The presentation here is based on Spencer Unger’s lectures from the 2015 GSST in addition to Gitik’s Handbook chapter.
متن کاملPrikry on Extenders, Revisited
We present a modification to the Prikry on Extenders forcing notion allowing the blow up of the power set of a large cardinal, change its cofinality to ω without adding bounded subsets, working directly from arbitrary extender (e.g., n-huge extender). Using this forcing, starting from a superstrong cardinal κ, we construct a model in which the added Prikry sequences are a scale in the normal Pr...
متن کاملExtender based forcings, fresh sets and Aronszajn trees
Extender based forcings are studied with respect of adding branches to Aronszajn trees. We construct a model with no Aronszajn tree over אω+2 from the optimal assumptions. This answers a question of Friedman and Halilović [1]. The reader interested only in Friedman and Halilović question may skip the first section and go directly to the second. 1 No branches to κAronszajn trees. We deal here wi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Arch. Math. Log.
دوره 50 شماره
صفحات -
تاریخ انتشار 2011